Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

基于自适应预测滤波理论的模数转换器设计方法

基于自适应差分量化理论，提出了在不增加转换位数的情况下提高模数转换器(ADC)动态范围的一种设计方法。该方法通过量化输入与预测的差值来获得预测增益，从而扩大ADC的动态范围；通过差分量化值与预测值相加得到输出信号，并将该分别采用LMS和RLS算法进行处理．得到输入信号的预测值．计算机模拟结果证实，上述两种算法均能使模数转换器的动态范围提高约25dB．比较而言，RLS算法收敛速度更快，收敛性更好，但计算量较大．     

对求解非线性方程方法的探索

BaiCL在2001年提出了双曲函数法，并把解设成具体的双曲函数，即sinhw和coshw的线性组合．本文把解设成是由2个函数f(ξ)和g(ξ)组成的线性组合，它们可以有多种取法，从而使方程更直接、更有效．借助数学软件Maple，用改进后的方法和吴文俊消元法，求解Bai C L文中的一个例子，获得了包含Bai文结果在内的更为丰富、精确的行波解．     

FAST ACCURATE PREDICTION OF BLANK SHAPE IN SHEET METAL FORMING

By using the Finite Element Inverse Approach based on the Hill quadratic anisotrop-ically yield criterion and the quadrilateral element, a fast analyzing software-FASTAMP for the sheet metal forming is developed. The blank shapes of three typical stampings are simulated and compared with numerical results given by the AUTOFORM software and experimental results, respectively. The comparison shows that the FASTAMP can predict blank shape and strain distribution of the stamping more precisely and quickly than those given by the traditional methods and the AUTOFORM.     

基于PROFIBUS注塑车间分布式监控系统的研究

随着塑料产品产量的增加,许多企业都建有一定规模的注塑车间.对车间内的注塑机进行有效的计算机监控管理,能及时掌握注塑机的运行状况,提高生产效率,提升企业信息化程度.采用一种基于PROFIBUS现场的总线技术,给出了注塑车间分布式监控系统的硬件组成原理、监控系统的功能及系统组态的实现,该系统可同时对多台注塑机进行现场及远程监控.     

用三个关系式与Mathematica软件求第二类自然数幂和公式

首先介绍三个第二类自然数幂和关系式并对其中的两式给出证明,接着利用这些关系式与数学软件M athem atica4.0,给出求解第二类自然数幂和公式的若干机械计算方法.     

网络环境下会计信息系统的创新

从我国会计软件的发展历程及网络环境方面，对会计信息系统软件功能的创新、会计信息系统基本结构的创新作了分析和探讨，提出了会计软件未来发展与创新的基本思路和设想．     

Bohr-Mottelson转动谱公式参数之间的新关系式

在利用Harris两参数公式研究Bohr-Mottelson转动谱公式参数之间的关系的基础上,改用Harris三参数公式,并由此提出了Bohr-Mottelson转动谱公式参数之间的新关系式,进而用I(I+1)四参数展开式计算了A～60,80,130,140,150,190区超形变偶偶核的基带和锕系和稀土区正常形变核基带,讨论了参数之间的关系,发现新关系式与实验较好地符合.     

C++QED: an object-oriented framework for wave-function simulations of cavity QED systems

We present a framework for efficiently performing Monte Carlo wave-function simulations in cavity QED with moving particles. It relies heavily on the object-oriented programming paradigm as realised in C++, and is extensible and applicable for simulating open interacting qua ntum dynamics in general. The user is provided with a number of “elements”, e.g. pumped moving particles, pumped lossy cavity modes, and various interactions to compose complex interacting systems, which contain several particles moving in electromagnetic fields of various configurations, and perform wave-function simulations on such systems. A number of tools are provided to facilitate the implementation of new elements.